Tootfinder

This https://arxiv.org/abs/2309.11676 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Cardinality and Representation of Stone Relation Algebras
Previous work has axiomatised the cardinality operation in relation algebras, which counts the number of edges of an unweighted graph. We generalise the cardinality axioms to Stone relation algebras, which model weighted graphs, and study the relationships between various axioms for cardinality. This results in simpler cardinality axioms also for relation algebras. We give sufficient conditions for the representability of Stone relation algebras and for Stone relation algebras to be relation al…

Iran: "The matter can be deemed concluded."

It's Gay Valimont- the only Democrat running against Matt Gaetz.
Make no mistake- Gaetz and Trump are in this together.
For Trump to achieve his radical MAGA dream
- banning abortion nationwide, destroying DEI programs, allowing gun violence to run rampant, and for the wealthy Christians to control everything,
Trump doesn't just need to be president, he needs congress to be stacked with MAGA loyalists.
And that's their plan.
Even in Florida, Ga…

Let's #GetGaetzGone
Show your support with a contribution.

This https://arxiv.org/abs/2403.05302 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Modeling Dynamic (De)Allocations of Local Memory for Translation Validation
End-to-End Translation Validation is the problem of verifying the executable code generated by a compiler against the corresponding input source code for a single compilation. This becomes particularly hard in the presence of dynamically-allocated local memory where addresses of local memory may be observed by the program. In the context of validating the translation of a C procedure to executable code, a validator needs to tackle constant-length local arrays, address-taken local variables, add…

This https://arxiv.org/abs/2402.14158 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

TOOLVERIFIER: Generalization to New Tools via Self-Verification
Teaching language models to use tools is an important milestone towards building general assistants, but remains an open problem. While there has been significant progress on learning to use specific tools via fine-tuning, language models still struggle with learning how to robustly use new tools from only a few demonstrations. In this work we introduce a self-verification method which distinguishes between close candidates by self-asking contrastive questions during (1) tool selection; and (2)…

This https://arxiv.org/abs/2402.06263 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

ASAP-MPC: An Asynchronous Update Scheme for Online Motion Planning with Nonlinear Model Predictive Control
This paper presents a Nonlinear Model Predictive Control (NMPC) scheme targeted at motion planning for mechatronic motion systems, such as drones and mobile platforms. NMPC-based motion planning typically requires low computation times to be able to provide control inputs at the required rate for system stability, disturbance rejection, and overall performance. Although there exist various ways in literature to reduce the solution times in NMPC, such times may not be low enough to allow real-ti…

This https://arxiv.org/abs/2307.15365 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSI_…

Suspended accounts align with the Internet Research Agency misinformation campaign to influence the 2016 US election
The ongoing debate surrounding the impact of the Internet Research Agency s (IRA) social media campaign during the 2016 U.S. presidential election has largely overshadowed the involvement of other actors. Our analysis brings to light a substantial group of suspended Twitter users, outnumbering the IRA user group by a factor of 60, who align with the ideologies of the IRA campaign. Our study demonstrates that this group of suspended Twitter accounts significantly influenced individuals categoriz…

This https://arxiv.org/abs/2402.14158 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

TOOLVERIFIER: Generalization to New Tools via Self-Verification
Teaching language models to use tools is an important milestone towards building general assistants, but remains an open problem. While there has been significant progress on learning to use specific tools via fine-tuning, language models still struggle with learning how to robustly use new tools from only a few demonstrations. In this work we introduce a self-verification method which distinguishes between close candidates by self-asking contrastive questions during (1) tool selection; and (2)…

This https://arxiv.org/abs/2309.06950 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

3D Active Metric-Semantic SLAM
In this letter, we address the problem of exploration and metric-semantic mapping of multi-floor GPS-denied indoor environments using Size Weight and Power (SWaP) constrained aerial robots. Most previous work in exploration assumes that robot localization is solved. However, neglecting the state uncertainty of the agent can ultimately lead to cascading errors both in the resulting map and in the state of the agent itself. Furthermore, actions that reduce localization errors may be at direct odd…

This https://arxiv.org/abs/2307.15365 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSI_…

Suspended accounts align with the Internet Research Agency misinformation campaign to influence the 2016 US election
The ongoing debate surrounding the impact of the Internet Research Agency s (IRA) social media campaign during the 2016 U.S. presidential election has largely overshadowed the involvement of other actors. Our analysis brings to light a substantial group of suspended Twitter users, outnumbering the IRA user group by a factor of 60, who align with the ideologies of the IRA campaign. Our study demonstrates that this group of suspended Twitter accounts significantly influenced individuals categoriz…